Boolean expressions are major focus of specifications and they are very muchprone to introduction of faults, this survey presents various fault basedtesting techniques. It identifies that the techniques differ in their faultdetection capabilities and generation of test suite. The various techniqueslike Cause effect graph, meaningful impact strategy, Branch Operator Strategy(BOR), BOR+MI, MUMCUT, Modified Condition/ Decision Coverage (MCDC) has beenconsidered. This survey describes the basic algorithms and fault categoriesused by these strategies for evaluating their performance. Finally, it containsshort summaries of the papers that use Boolean expressions used to specify therequirements for detecting faults. These techniques have been empiricallyevaluated by various researchers on a simplified safety related real timecontrol system.
展开▼